Improving Prolog programs: Refactoring for Prolog
نویسندگان
چکیده
منابع مشابه
Improving Prolog Programs: Refactoring for Prolog
Refactoring is an established technique from the object-oriented (OO) programming community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue...
متن کاملRefactoring Prolog programs
Refactoring is a technique to restructure code in a disciplined way originating from the OO-community. It aims to improve software readability, maintainability and extensibility. Unlike the existing results on program transformation refactoring can require user input to take certain decisions. In this paper we apply the ideas of refactoring to Prolog programs. We start by presenting a catalogue...
متن کاملRefactoring Prolog Code
Refactoring is a popular technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. In this paper we apply the ideas of refactoring to Prolog programs. We present a catalogue of refactorings adapted to or specificly developed for Prolog. We also discuss ViPReSS, our semi-automatic refactoring browser, and our experience wit...
متن کاملPorting and refactoring Prolog programs: the PROSYN case study
Operational software systems need to be maintained. Prolog has strengths and weaknesses if it comes to software maintenance. Its reflexive capabilities and the fact that Prolog programs can be represented naturally as Prolog data are strengths when it comes to porting and refactoring. On the other side, its dynamic and untyped nature limit the possibilities for static analysis and safe refactor...
متن کاملDebugging Prolog Programs Declaratively
Traditional declarative debuggers, despite their theoretical attractions are not considered to be practical tools for debugging of many Prolog programs. This is partly due to the fact that the basic declarative debugging system (Shapiro 83) only dealt with pure Prolog programs, and partly due to practical limitations of the suggested methods and algorithms. Our aim has been to study the applica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2008
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068407003134